Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
نویسنده
چکیده
Interpretation and Partial Evaluation in Functional and Logic Programming Neil D. Jones DIKU, University of Copenhagen 2100 Copenhagen East Denmark
منابع مشابه
Reportrapport Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation
A v a riety of disparate methods have traditionally been used to deene the execution semantics of programming languages, to describe partial evaluation, to formalize program analysis as abstract interpretation, and to implement each of these operations in practical systems. We a rgue here that equational logic can serve to unify each of these aspects of language manipulation. 1. INTRODUCTION A ...
متن کاملExplicit Substitutitions for
This paper introduces a-calculus with explicit substitutions, corresponding to an S4 modal logic of constructive necessity. As well as being semantically well motivated, the calculus can be used (a) to develop abstract machines, and (b) as a framework for specifying and analysing computation stages in the context of functional languages. We prove several syntactic properties of this calculus, w...
متن کاملExplicit Substitutions for Constructive Necessity
This paper introduces a -calculus with explicit substitutions, corresponding to an S4 modal logic of constructive necessity. As well as being semantically well motivated, the calculus can be used (a) to develop abstract machines, and (b) as a framework for specifying and analysing computation stages in the context of functional languages. We prove several syntactic properties of this calculus,...
متن کاملAnalysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation
Active databases provide reactive functionality by supporting event-conditionaction rules (also known as triggers). Two key issues in active databases are analysis and optimisation of such rules. In this paper we describe how abstract interpretation and partial evaluation can be applied to these tasks, demonstrating that they provide a useful framework that both encompasses various existing dat...
متن کاملDeclarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
Debugging tools are a practical need for diagnosing the causes of erroneous computations. Declarative programming paradigms involving complex operational details, such as constraint solving and lazy evaluation, do not fit well to traditional debugging techniques relying on the inspection of low-level computation traces. As a solution to this problem, declarative diagnosis uses Computation Trees...
متن کامل